package sve.generator;

public class BoolDecVar extends Variable {

	public BoolDecVar(String varName) {
		super(varName);
	}

	public BoolDecVar(String var, Variable t, Variable f) {
		super(var, t, f);
	}

	@Override
	public String toString() {
		return "(" + _varName + "\n" + _true.toString() + "\n" + _false.toString() + ")";
	}

}
